From e63db5c63e322d13826da893255efaa58e521266 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 18 Dec 2009 07:52:03 +0000 Subject: [PATCH] x86_32: Build fix in xenpaging tool. Signed-off-by: Keir Fraser --- tools/xenpaging/xenpaging.c | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/tools/xenpaging/xenpaging.c b/tools/xenpaging/xenpaging.c index 02e848016e..2817cb7312 100644 --- a/tools/xenpaging/xenpaging.c +++ b/tools/xenpaging/xenpaging.c @@ -20,6 +20,7 @@ */ +#include #include #include @@ -184,7 +185,7 @@ xenpaging_t *xenpaging_init(domid_t domain_id) ERROR("Error allocating bitmap"); goto err; } - DPRINTF("max_pages = %lx\n", paging->domain_info->max_pages); + DPRINTF("max_pages = %"PRIx64"\n", paging->domain_info->max_pages); /* Initialise policy */ rc = policy_init(paging); @@ -565,8 +566,10 @@ int main(int argc, char *argv[]) } else { - DPRINTF("page already populated (domain = %d; vcpu = %d; gfn = %lx; paused = %ld)\n", - paging->mem_event.domain_id, req.vcpu_id, req.gfn, req.flags & MEM_EVENT_FLAG_VCPU_PAUSED); + DPRINTF("page already populated (domain = %d; vcpu = %d;" + " gfn = %lx; paused = %"PRId64")\n", + paging->mem_event.domain_id, req.vcpu_id, + req.gfn, req.flags & MEM_EVENT_FLAG_VCPU_PAUSED); /* Tell Xen to resume the vcpu */ /* XXX: Maybe just check if the vcpu was paused? */ -- 2.30.2